timestamp for src/config.h
